λ Functional Programming - nmarshall · Scour

Incremental Lambda Calculus 🔗Dependent Types

inc-lc.github.io·4d·Hacker News

Hatter: Native Haskell Mobile Apps 🦋Tauri

jappie.me·1d·Hacker News

Lisp is Not an Acceptable Lisp (2006) 🎭Gradual Typing

steve-yegge.blogspot.com·7h·Hacker News

A Perfectable Programming Language ∀Lean4

alok.github.io·2d·Hacker News

Game Oriented Assembly Lisp 🎮Godot

en.wikipedia.org·15h·Hacker News

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 🔗Dependent Types

jointhefreeworld.org·4d·Lobsters, Hacker News

remoteoss/dexter: A fast, full-featured Elixir LSP optimized for large codebases. ☁️Serverless Rust

github.com·8h·Hacker News

Mathematical minimalism 🔢Homomorphic Encryption

johndcook.com·1d·Hacker News

How to build an Agent 🤖AI agents

ampcode.com·23h·Hacker News

The Exception Butterfly 🎭Gradual Typing

valhovey.github.io·3d·Hacker News

google-research/dex-lang: Research language for array processing in the Haskell/ML family 🔵Unikernels

github.com·1d·Hacker News

Why We Built a Haskell Package Manager in Rust ☁️Serverless Rust

raskell.io·2d·Hacker News

🥩 Red Meat Friday: Rules For Lisp Programs 🦀Rust Macros

irreal.org·4d

I Spoke to Experts to Find the Best Bar Carts—Here Are 6 They Recommend 🍸Cocktail Techniques

seriouseats.com·12h

Weekly Composition Post ✍️Creative Writing

foxharper.bearblog.dev·2d

Retrospective on binary search and comp{ress,ilat}ion (2015) ∀Lean4

pvk.ca·5d·Hacker News

Supporting AI Literacies for Young Adults Aged 14-19 💻Creative Coding

blog.weareopen.coop·1d

Elixir Client SDK 1.0 for EventSourcingDB Now Available 🌊Event Streaming

docs.eventsourcingdb.io·2d·Hacker News

Giving LLMs a Formal Reasoning Engine for Code Analysis ∀Lean4

yogthos.net·6d·Lobsters, Hacker News

jhud/lisp: Toy Python LISP interpreter based on the original 1960 John McCarthy paper 🏭Code Generation

github.com·2d·Hacker News

Loading more...